Publications (partial selection)
| 2001 | Denis Therien, P. Bouyer, A. Petit: An Algebraic Characterization of Data and Timed Languages. In: LNCS, 2001, 248-261 |
|---|
| 2001 | Denis Therien, R. Gavalda Learning Expressions over Finite Monoids. In: LNCS, 2001, 283-293 |
|---|
| 2001 | Denis Therien, T. Schwentick, H. Vollmer: Partially Ordered Two-way Automata: a New Characterization of DA. In: DLT, 2001, 242-253 |
|---|
| 2001 | Denis Therien, H. Straubing: Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables. In: LNCS, 2001, 551-562 |
|---|
| 2001 | Denis Therien, C. Moore, P. Tesson: Satisfiability of Systems of Equations over Finite Monoids. In: LNCS, 2001, 537-547 |
|---|
| 2001 | Denis Therien, M. Beaudry, F. Lemieux: Star-free Open Languages and Aperiodic Loops . In: LNCS, 2001, 87-98 |
|---|
